TAGs: subtracting rational expressions